Affine Modeling of Program Traces
نویسندگان
چکیده
منابع مشابه
Affine braids , Markov traces and the category
This paper provides a unified approach to results on representations of affine Hecke algebras, cyclotomic Hecke algebras, affine BMW algebras, cyclotomic BMW algebras, Markov traces, Jacobi-Trudi type identities, dual pairs [Ze], and link invariants [Tu2]. The key observation in the genesis of this paper was that the technical tools used to obtain the results in Orellana [Or] and Suzuki [Su], t...
متن کاملAlmost: Exploring Program Traces
We built a tool to visualize and explore program execution traces. Our goal was to help programmers without any prior knowledge of a program, quickly get enough knowledge about its structure so that they can make small to medium changes. In the process, a number of problems were faced and tackled concerning the efficient use of screen space, interaction with multiple concurrent views, and linki...
متن کاملExploiting Traces in Program Analysis
From operating systems and web browsers to spacecraft, many software systems maintain a log of events that provides a partial history of execution, supporting post-mortem (or post-reboot) analysis. Unfortunately, bandwidth, storage limitations, and privacy concerns limit the information content of logs, making it difficult to fully reconstruct execution from these traces. This paper presents a ...
متن کاملFormal Modeling of Communication Traces
Development of distributed systems is complicated by the absence of reliable global timing, concurrency, and nondeterminism. To deal with these obstacles log files are produced by an instrumented system facilitating analysis, testing, and debugging. This paper presents a formal framework for the analysis of distributed system logs based on event trace concept. A partially ordered trace of event...
متن کاملThe Affine Quantum Gravity Program
The central principle of affine quantum gravity is securing and maintaining the strict positivity of the matrix {ĝab(x)} composed of the spatial components of the local metric operator. On spectral grounds, canonical commutation relations are incompatible with this principle, and they must be replaced by noncanonical, affine commutation relations. Due to the partial second-class nature of the q...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Transactions on Computers
سال: 2019
ISSN: 0018-9340,1557-9956,2326-3814
DOI: 10.1109/tc.2018.2853747